Lambda point - PDFSEARCH.IO - Document Search Engine

Lambda point
Results: 124

#	Item
11	COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-02-20 21:08:40 Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Banach fixed-point theorem Peetre theorem
12	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
13	COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-07 15:59:27 Mathematics Mathematical analysis Logic in computer science Differential forms Combinatory logic Lambda calculus Peano axioms Closed and exact differential forms Differential forms on a Riemann surface Banach fixed-point theorem
14	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator
15	Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-11-14 12:39:58 Lambda calculus Type theory Combinatory logic Pure type system Lambda cube Fixed-point combinator Calculus of constructions Explicit substitution Natural deduction
16	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus
17	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
18	BOOKS ET AL. manages to cover. To get through it all, he mostly sticks to the point, which renders some parts a bit disjointed. Also, his rapid progress generally leaves no room to give the unknowing reader a sense of th Add to Reading List Source URL: static.squarespace.com Language: English Calculus Fibonacci number Lambda calculus Function Number Mathematical analysis Mathematics Theoretical computer science Steven Strogatz
19	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:21 Mathematics Combinatory logic Fixed-point combinator Recursion Camera lens Theoretical computer science Lambda calculus Applied mathematics
20	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics

UPDATE